Abstract model theory

Results: 937



#Item
41Algebra / Abstract algebra / Mathematics / Representation theory / Lie algebras / Gelfand pair / Harmonic analysis / Littelmann path model

c 2011 Society for Industrial and Applied Mathematics  SIAM J. COMPUT. Vol. 40, No. 4, pp. 1179–1209

Add to Reading List

Source URL: www.math.tamu.edu

Language: English - Date: 2011-10-17 09:55:32
42Logic / Automated theorem proving / Logic programming / Logical truth / Propositional calculus / Substitution / Model theory / Philosophy / Symbol

Abstracting Abstract Machines David Van Horn ∗ Matthew Might Northeastern University

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2010-07-26 15:43:30
43Graph theory / Graph coloring / Pathwidth / Trapezoid graph / Intersection graph / Treewidth / Ear decomposition / Comparability graph / Graph / Interval graph / Expander graph / Line graph

An Intersection Model for Multitolerance Graphs: Efficient Algorithms and Hierarchy∗ George B. Mertzios† Abstract Tolerance graphs model interval relations in such a way that intervals can tolerate a certain degree o

Add to Reading List

Source URL: community.dur.ac.uk

Language: English - Date: 2012-12-29 10:50:56
44Mathematics / Homotopy theory / Functors / Abstract algebra / Algebra / Category theory / Algebraic topology / Model category / Simplicial set / Adjoint functors / Span / Natural transformation

Correction to: Simplicial structures on model categories and functors American Journal of Mathematics), by Charles Rezk, Stefan Schwede and Brooke Shipley Edoardo Lanari has pointed out a gap which stem

Add to Reading List

Source URL: www.math.uni-bonn.de

Language: English - Date: 2015-09-23 09:04:48
45Statistics / Data / Regression analysis / Statistical analysis / Covariance and correlation / Estimation theory / Statistical methods / Imputation / Linear regression / Covariance / Mixed model / Variance

P267-25 Multiple Imputation for Missing Data: Concepts and New Development Yang C. Yuan, SAS Institute Inc., Rockville, MD Abstract

Add to Reading List

Source URL: www.ats.ucla.edu

Language: English - Date: 2016-08-17 18:18:26
46Algebraic geometry / Abstract algebra / Algebra / Birational geometry / Vector bundles / Algebraic varieties / Algebraic surfaces / Minimal model program / Curve / Rational variety / Canonical bundle / Intersection theory

December 16, 2013 APPROXIMATING CURVES ON REAL RATIONAL SURFACES ´ ´ AND FRED ´ ERIC ´

Add to Reading List

Source URL: math.univ-angers.fr

Language: English - Date: 2014-02-17 15:20:49
47Mathematics / Algebra / Abstract algebra / Homotopy theory / Category theory / Algebraic topology / Functors / Higher category theory / Simplicial set / Nerve / Model category / Monoidal category

HIGHER CATEGORIES IN A NUT-SHELL These are notes for a talk at the Max Planck Institute for Mathematics in SpringThe goal was to convince the audience that the necessary definitions for a good model of (symmetric

Add to Reading List

Source URL: people.mpim-bonn.mpg.de

Language: English - Date: 2015-06-17 03:57:55
48Statistics / Statistical models / Mathematics / Graph theory / Dynamical systems / Mechanics / Spanning tree / Structure from motion / Multibody system / Image segmentation / Bayesian network / Graphical model

Learning Articulated Skeletons from Motion David A. Ross, Daniel Tarlow, and Richard S. Zemel Department of Computer Science, University of Toronto, Canada {dross,dtarlow,zemel}@cs.toronto.edu Abstract. Humans demonstra

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2007-08-14 20:36:06
49Mathematical finance / Economy / Finance / Money / Stochastic processes / Financial markets / Options / Martingale theory / Semimartingale / Arbitrage / Forward contract / BlackScholes model

Hedging and Portfolio Optimization in Financial Markets with a Large Trader By Peter Bank† and Dietmar Baum‡ Abstract

Add to Reading List

Source URL: page.math.tu-berlin.de

Language: English
50Abstract algebra / Algebra / Mathematics / Homotopy theory / Sheaf theory / Category theory / Functors / Algebraic topology / Simplicial presheaf / Model category / Sheaf / Simplicial set

245 Doc. Math. J. DMV Boolean Localization, in Practice

Add to Reading List

Source URL: documenta.sagemath.org

Language: English - Date: 2014-07-13 07:29:15
UPDATE